228 research outputs found

    Reduced Ordered Binary Decision Diagram with Implied Literals: A New knowledge Compilation Approach

    Full text link
    Knowledge compilation is an approach to tackle the computational intractability of general reasoning problems. According to this approach, knowledge bases are converted off-line into a target compilation language which is tractable for on-line querying. Reduced ordered binary decision diagram (ROBDD) is one of the most influential target languages. We generalize ROBDD by associating some implied literals in each node and the new language is called reduced ordered binary decision diagram with implied literals (ROBDD-L). Then we discuss a kind of subsets of ROBDD-L called ROBDD-i with precisely i implied literals (0 \leq i \leq \infty). In particular, ROBDD-0 is isomorphic to ROBDD; ROBDD-\infty requires that each node should be associated by the implied literals as many as possible. We show that ROBDD-i has uniqueness over some specific variables order, and ROBDD-\infty is the most succinct subset in ROBDD-L and can meet most of the querying requirements involved in the knowledge compilation map. Finally, we propose an ROBDD-i compilation algorithm for any i and a ROBDD-\infty compilation algorithm. Based on them, we implement a ROBDD-L package called BDDjLu and then get some conclusions from preliminary experimental results: ROBDD-\infty is obviously smaller than ROBDD for all benchmarks; ROBDD-\infty is smaller than the d-DNNF the benchmarks whose compilation results are relatively small; it seems that it is better to transform ROBDDs-\infty into FBDDs and ROBDDs rather than straight compile the benchmarks.Comment: 18 pages, 13 figure

    OBDD-Based Representation of Interval Graphs

    Full text link
    A graph G=(V,E)G = (V,E) can be described by the characteristic function of the edge set χE\chi_E which maps a pair of binary encoded nodes to 1 iff the nodes are adjacent. Using \emph{Ordered Binary Decision Diagrams} (OBDDs) to store χE\chi_E can lead to a (hopefully) compact representation. Given the OBDD as an input, symbolic/implicit OBDD-based graph algorithms can solve optimization problems by mainly using functional operations, e.g. quantification or binary synthesis. While the OBDD representation size can not be small in general, it can be provable small for special graph classes and then also lead to fast algorithms. In this paper, we show that the OBDD size of unit interval graphs is O( V /log V )O(\ | V \ | /\log \ | V \ |) and the OBDD size of interval graphs is $O(\ | V \ | \log \ | V \ |)whichbothimproveaknownresultfromNunkesserandWoelfel(2009).Furthermore,wecanshowthatusingourvariableorderandnodelabelingforintervalgraphstheworstcaseOBDDsizeis which both improve a known result from Nunkesser and Woelfel (2009). Furthermore, we can show that using our variable order and node labeling for interval graphs the worst-case OBDD size is \Omega(\ | V \ | \log \ | V \ |).Weusethestructureoftheadjacencymatricestoprovethesebounds.Thismethodmaybeofindependentinterestandcanbeappliedtoothergraphclasses.Wealsodevelopamaximummatchingalgorithmonunitintervalgraphsusing. We use the structure of the adjacency matrices to prove these bounds. This method may be of independent interest and can be applied to other graph classes. We also develop a maximum matching algorithm on unit interval graphs using O(\log \ | V \ |)operationsandacoloringalgorithmforunitandgeneralintervalsgraphsusing operations and a coloring algorithm for unit and general intervals graphs using O(\log^2 \ | V \ |)$ operations and evaluate the algorithms empirically.Comment: 29 pages, accepted for 39th International Workshop on Graph-Theoretic Concepts 201

    The legacy effect of synthetic N fertiliser

    Get PDF
    Cumulative crop recovery of synthetic fertiliser nitrogen (N) over several cropping seasons (legacy effect) generally receives limited attention. The increment in crop N uptake after the first-season uptake from fertiliser can be expressed as a fraction (∆RE) of annual N application rate. This study aims to quantify ∆RE using data from nine long-term experiments (LTEs). As such, ∆RE is the difference between first season (RE1st) and long-term (RELT) recovery of synthetic fertiliser N. In this study, RE1st was assessed either by the 15N isotope method, or by a zero-N subplot freshly superimposed on a long-term fertilised LTE treatment plot. RELT was calculated by comparing N uptake in the total aboveground crop biomass between a long-term fertilised and long-term control (zero-N) treatment. Using a mixed linear effect model, the effects of climate, crop type, experiment duration, average N rate, and soil clay content on ∆RE were evaluated. Because the experimental setup required for calculation of ∆RE is relatively rare, only nine suitable LTEs were found. Across these nine LTEs in Europe and North America, mean ∆RE was 24.4% (±12.0%, 95% CI) of annual N application, with higher values for winter wheat than for maize. This result shows that fertiliser-N retained in the soil and stubble may contribute substantially to crop N uptake in subsequent years. Our results suggest that an initial recovery of 43.8% (±11%, 95% CI) of N application may increase to around 66.0% (±15%, 95% CI) on average over time. Furthermore, we found that ∆RE was not clearly related to long-term changes in topsoil total N stock. Our findings show that the - often used - first year recovery of synthetic fertiliser N application does not express the full effect of fertiliser application on crop nutrition. The fertiliser contribution to soil N supply should be accounted for when exploring future scenarios on N cycling, including crop N requirements and N balance schemes

    CD1-restricted adaptive immune responses to Mycobacteria in human group 1 CD1 transgenic mice

    Get PDF
    Group 1 CD1 (CD1a, CD1b, and CD1c)–restricted T cells recognize mycobacterial lipid antigens and are found at higher frequencies in Mycobacterium tuberculosis (Mtb)–infected individuals. However, their role and dynamics during infection remain unknown because of the lack of a suitable small animal model. We have generated human group 1 CD1 transgenic (hCD1Tg) mice that express all three human group 1 CD1 isoforms and support the development of group 1 CD1–restricted T cells with diverse T cell receptor usage. Both mycobacterial infection and immunization with Mtb lipids elicit group 1 CD1–restricted Mtb lipid–specific T cell responses in hCD1Tg mice. In contrast to CD1d-restricted NKT cells, which rapidly respond to initial stimulation but exhibit anergy upon reexposure, group 1 CD1–restricted T cells exhibit delayed primary responses and more rapid secondary responses, similar to conventional T cells. Collectively, our data demonstrate that group 1 CD1–restricted T cells participate in adaptive immune responses upon mycobacterial infection and could serve as targets for the development of novel Mtb vaccines

    Analysis of the CD1 Antigen Presenting System in Humanized SCID Mice

    Get PDF
    CD1 molecules are glycoproteins that present lipids and glycolipids for recognition by T cells. CD1-dependent immune activation has been implicated in a wide range of immune responses, however, our understanding of the role of this pathway in human disease remains limited because of species differences between humans and other mammals: whereas humans express five different CD1 gene products (CD1a, CD1b, CD1c, CD1d, and CD1e), muroid rodents express only one CD1 isoform (CD1d). Here we report that immune deficient mice engrafted with human fetal thymus, liver, and CD34+ hematopoietic stem cells develop a functional human CD1 compartment. CD1a, b, c, and d isoforms were highly expressed by human thymocytes, and CD1a+ cells with a dendritic morphology were present in the thymic medulla. CD1+ cells were also detected in spleen, liver, and lungs. APCs from spleen and liver were capable of presenting bacterial glycolipids to human CD1-restricted T cells. ELISpot analyses of splenocytes demonstrated the presence of CD1-reactive IFN-γ producing cells. CD1d tetramer staining directly identified human iNKT cells in spleen and liver samples from engrafted mice, and injection of the glycolipid antigen α-GalCer resulted in rapid elevation of human IFN-γ and IL-4 levels in the blood indicating that the human iNKT cells are biologically active in vivo. Together, these results demonstrate that the human CD1 system is present and functionally competent in this humanized mouse model. Thus, this system provides a new opportunity to study the role of CD1-related immune activation in infections to human-specific pathogens

    Human γδ T cells recognize CD1b by two distinct mechanisms

    Get PDF
    γδ T cells form an abundant part of the human cellular immune system, where they respond to tissue damage, infection, and cancer. The spectrum of known molecular targets recognized by Vδ1-expressing γδ T cells is becoming increasingly diverse. Here we describe human γδ T cells that recognize CD1b, a lipid antigen-presenting molecule, which is inducibly expressed on monocytes and dendritic cells. Using CD1b tetramers to study multiple donors, we found that many CD1b-specific γδ T cells use Vδ1. Despite their common use of Vδ1, three CD1b-specific γδ T cell receptors (TCRs) showed clear differences in the surface of CD1b recognized, the requirement for lipid antigens, and corecognition of butryophilin-like proteins. Several Vγ segments were present among the CD1b-specific TCRs, but chain swap experiments demonstrated that CD1b specificity was mediated by the Vδ1 chain. One of the CD1b-specific Vδ1+ TCRs paired with Vγ4 and shows dual reactivity to CD1b and butyrophilin-like proteins. αβ TCRs typically recognize the peptide display platform of MHC proteins. In contrast, our results demonstrate the use of rearranged receptors to mediate diverse modes of recognition across the surface of CD1b in ways that do and do not require carried lipids

    Role of urothelial cells in BCG immunotherapy for superficial bladder cancer

    Get PDF
    Intravesical instillation of Bacillus Calmette-Guérin (BCG) is used for the treatment of superficial bladder cancer, both to reduce the recurrence rate of bladder tumour and to diminish the risk of progression. Since its first therapeutic application in 1976, major research efforts have been directed to decipher the exact mechanism of action of the BCG-associated antitumour effect. Bacillus Calmette-Guérin causes an extensive local inflammatory reaction in the bladder wall. Of this, the massive appearance of cytokines in the urine of BCG-treated patients stands out. Activated lymphocytes and macrophages are the most likely sources of these cytokines, but at present other cellular sources such as urothelial tumour cells cannot be ruled out. Bacillus Calmette-Guérin is internalised and processed both by professional antigen-presenting cells and urothelial tumour cells, resulting in an altered gene expression of these cells that accumulates in the presentation of BCG antigens and secretion of particular cytokine
    corecore